18.14/20.59	unsat
