18.96/22.56	unsat
