8.60/11.39	unsat
