12.16/15.75	unsat
