15.40/18.10	unsat
