18.45/22.41	unsat
