13.27/16.77	unsat
