18.34/18.48	unsat
