13.77/14.24	unsat
