15.18/17.42	unsat
