15.60/15.80	unsat
