14.67/14.77	unsat
