13.17/15.58	unsat
