13.96/14.49	unsat
