12.66/14.07	unsat
