17.54/20.54	unsat
