17.89/22.42	unsat
