17.67/22.42	unsat
