18.46/22.65	unsat
