15.44/17.34	unsat
