27.27/49.96	unsat
