10.21/12.95	unsat
