18.96/20.30	unsat
