18.34/20.81	unsat
