12.97/15.95	unsat
