10.27/10.79	unsat
