10.27/12.79	unsat
