12.66/14.49	unsat
