15.44/17.44	unsat
