1026.01/1026.50	unsat
