12.68/15.29	unsat
