18.96/22.55	unsat
