13.17/15.44	unsat
