13.86/16.14	unsat
