15.25/18.39	unsat
