7.19/10.90	unsat
