18.34/20.30	unsat
