15.18/18.82	unsat
