13.24/15.44	unsat
