17.53/18.28	unsat
