17.87/18.53	unsat
