18.27/18.44	unsat
