10.17/12.28	unsat
