12.86/13.29	unsat
