15.76/18.95	unsat
