10.72/14.16	unsat
