13.86/16.73	unsat
