18.34/22.16	unsat
