47.79/47.96	unsat
