17.89/21.93	unsat
