15.60/17.30	unsat
