18.06/20.86	unsat
