13.86/16.71	unsat
