12.29/15.97	unsat
